Symmetric Lambda Calculs